DFTRES

Benchmark

Model:	sms v.1 (MA)
Parameter(s)	A = 3, R = True
Property:	Unavailability (steady-state-prob)

Invocation (specific)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop Unavailability  --def A 3 --def R True --relErr 0.001 --unsafe-scheduling --fixed-batches sms.3-true.jani

Execution

Walltime:	0.8109464645385742s
Return code:	0
Relative Error:	0.0

Log

Total time: 0.628 s.
Property Unavailability:
point estimate: 1.0,
var: 0.0,
CI: [1.0, 1.0] = 1.0 +/- 0.0